Sur l'équation fonctionnelle f(x+y)=f(x)+f(y)

Conception fonctionnelle de services d'entreprise fondée sur l'alignement entre coeur de métier et système d'information

RÉSUMÉ. La connaissance des processus constituant le cœur de métier de l'entreprise et sa structure organisationnelle permet d’aligner l’organisation de cette entreprise sur sa stratégie. Or pour concevoir un ensemble de services fournis par l'entreprise à un client particulier, il faut être capable de décrire les processus métier du point de vue client, et non de la production. Afin de respect...

Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse-miettes parallèle

Modern multi-core machines are conceived to efficiently execute explicitly parallel assembly programs. Current technology is moving away from instruction-level parallelism, exploitable without changes in the software, toward task-level parallelism requiring modifications in programs. In this context exploiting parallelism entails either exploiting new parallelizing toolchains, or programming in...

Restauration fonctionnelle du rachis : effet du niveau initial de douleur sur les performances des sujets lombalgiques chroniques

BACKGROUND Chronic low back pain is a persistent lumbar pain of multifactorial origin. The initial pain level remains poorly used to analyze and compare responses in low back pain patients in a reconditioning program. OBJECTIVE To assess and evaluate the responses of subjects with very painful chronic low back pain in a dynamic and intensive care program. METHODS A total of 134 patients wit...

Sémantique fonctionnelle pour les QBF non prénexes

We propose in this article a functional semantics for non-prenex Quantified Boolean Formulae. The proposed formalism is symetrical for validity and non-validity and allows to give different interpretations to the quantifiers. This formalism is also sufficiently flexible to allow the definition of a certificate for the search-based algorithms

Etude de la programmation logico-fonctionnelle concurrente